$M$.state $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$State(1of($M$))